$\forall$$g$:GrpSig, $s$:($\mid$$g$$\mid\rightarrow\mathbb{P}$), $a$, $b$:$\mid$$g$$\mid$. $a$ $\equiv$ $b$ (mod $s$ in $g$) $\in$ $\mathbb{P}$